1. 2, 2011, Revised Selected Papers-Ferrand, France, September 1-FM 2011, Clermont-Web Services and Formal Methods: 8th International Workshop, WS
پدیدآورنده : / Marc Petit (eds.)-Kohei Honda (auth.), Marco Carbone, Jean
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
